The Proof
نویسندگان
چکیده
منابع مشابه
Sadra`s existential proof for reasoning the best creational system
This article has no abstract.
متن کاملProof Checking the Proof
2a) Summary. It is considered a fact of life that all serious computer programs contain errors, so-called ‘bugs’. Empirical data indicates that production software has around two bugs per thousand lines of source code, and even programs used on space missions by NASA are believed to have around 0.1 bugs per thousand lines of code [26]. Interactive theorem proving is a technology for building pr...
متن کاملSwinburne`s epistemological principles in the proof of religious experience
This article has no abstract.
متن کاملA simple proof of Zariski's Lemma
Our aim in this very short note is to show that the proof of the following well-known fundamental lemma of Zariski follows from an argument similar to the proof of the fact that the rational field $mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.
متن کاملLakatos and Hersh on Mathematical Proof
مفهوم اثبات در چند دهۀ اخیر مناقشهآمیز شده است. به طوری که افراد نظریههای مختلفی دربارۀ چیستی اثبات ارائه دادهاند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریههای این دو فیلسوف شباهتها و اختلافات قابل توجهی دارند. به نظر میرسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانهانگاری در اثبات ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 1976
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.2122